Overview
Part of the book series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST, volume 523)
Included in the following conference series:
Conference proceedings info: TridentCom 2023.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
-
Front Matter
-
Blockchain and Its Applications
-
Front Matter
-
-
Emerging Applications
-
Front Matter
-
-
AI and Its Security
-
Front Matter
-
-
Back Matter
Other volumes
-
Tools for Design, Implementation and Verification of Emerging Information Technologies
Keywords
- Intrusion Detection and Prevention
- Network Infrastructure Security
- Wireless Security
- Secure Networked Systems
- Distributed Systems Security
- Cloud Security
- Mobile Security
- Digital Forensics
- Formal Verification for Network Systems and Protocols
- Privacy-enhancing Techniques and Anonymity
- Cryptographic Protocols with Networks and Systems
- Blockchain Protocols and Systems
- Trustworthy Machine Learning and AI
- Privacy-preserving Machine Learning
- Cyber-Physical Systems Security
- Internet of Things Security
- Confidential Computing and Its Applications
- Watermarking and Digital Rights Management
About this book
The 9 full papers were selected from 30 submissions and deal the emerging technologies of big data, cyber-physical systems and computer communications. The papers are grouped in thematical sessions on blockchain and its applications; emerging applications; AI and its security.
Editors and Affiliations
Bibliographic Information
Book Title: Tools for Design, Implementation and Verification of Emerging Information Technologies
Book Subtitle: 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings
Editors: Jianghua Liu, Lei Xu, Xinyi Huang
Series Title: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
DOI: https://doi.org/10.1007/978-3-031-51399-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2024
Softcover ISBN: 978-3-031-51398-5Published: 05 January 2024
eBook ISBN: 978-3-031-51399-2Published: 04 January 2024
Series ISSN: 1867-8211
Series E-ISSN: 1867-822X
Edition Number: 1
Number of Pages: XII, 173
Number of Illustrations: 6 b/w illustrations, 42 illustrations in colour
Topics: Computer Communication Networks, Computer Systems Organization and Communication Networks, Special Purpose and Application-Based Systems, System Performance and Evaluation, Computer System Implementation, Software Engineering/Programming and Operating Systems